automated reasoning
自动推理
热门查询
- Harrold [人名] [英格兰人姓氏] 哈罗德 Harrod的变体; [地名] [英国、英国] 哈罗德
- meditative adj. 冥想的，沉思的；耽于默想的
- pileup n. 连环相撞；堆积
- Woolwich [人名] 伍尔维奇
- busywork n. （美）外加作业（使学生不致空闲而故意外加的作业）
- Wiley n. 韦利; [人名] 威利; [地名] [美国] 怀利
- FO abbr. 英国外交部（Foreign Office）；淡出， 渐逝（Fade Out）；滤波器输出（Filter Output） n. (Fo)人名；(东南亚国家华语)和
- etching n. 蚀刻术；蚀刻版画 adj. 蚀刻的 v. 蚀刻；刻画（etch的ing形式）
- after-hours adj. 业余时间的
- SID abbr. 电离层突然骚动（sudden ionospheric disturbance） n. (Sid)人名；(英、阿拉伯、瑞典)锡德
- RD abbr. DOS命令 ： 删除空的子目；注册营养师（Registered Dietitian）；乡村免费邮递（Rural Delivery）
- shocked v. 使震动（shock的过去式） adj. 震惊的；震撼的
- scrapyard n. 废品堆放场
- humdinger n. 极出色的人
- Glenfiddich 格兰菲迪士；格兰菲迪士十年；格兰菲迪10年
- anisotropic adj. [物] 各向异性的；[物] 非均质的
- vernal adj. 春天的；和煦的；青春的
- foolscap n. 大裁；大页纸；圆锥形的纸帽；滑稽帽（等于fool's cap）
- gerry n. 格里（男名）
- samoan n. 萨摩亚人 adj. 萨摩亚的；萨摩亚人的
